automatic theorem proving造句

例句与造句

1. A member of the herbrand base is called atom in automatic theorem proving
   在自动定理证明中,海尔勃朗基的成员也称为原子。
2. It's difficult to find automatic theorem proving in a sentence. 用automatic theorem proving造句挺难的